RINGSKOMPOSISIONELE UITLIGTING VAN DIE KRATOS-TEMA IN AISKHULOS SE DANAIDE-TRILOGIE
نویسندگان
چکیده
منابع مشابه
Hendrikje van Andel, bristlecone pines, and why we die.
At the moment of writing this editorial (September 2004), the oldest living person in the world is Hendrikje van Andel. She celebrated her 114th birthday on June 29 of this year, and lives in an old people’s home in Hoogeveen, the Netherlands. When interviewed by the world press she cheerfully gave away her secret: a herring and a glass of orange juice a day. While survival beyond the age of 10...
متن کاملKratos - A Software Model Checker for SystemC
The growing popularity of SystemC has attracted research aimed at the formal verification of SystemC designs. In this paper we present KRATOS, a software model checker for SystemC. KRATOS verifies safety properties, in the form of program assertions, by allowing users to explore two directions in the verification. First, by relying on the translation from SystemC designs to sequential C program...
متن کاملKratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework
The Android framework utilizes a permission-based security model, which is essentially a variation of the ACL-based access control mechanism. This security model provides controlled access to various system resources. Access control systems are known to be vulnerable to anomalies in security policies, such as inconsistency. In this work, we focus on inconsistent security enforcement within the ...
متن کاملAprimoramento Humano: Um Novo Tema Da Agenda Filosófica Perfeccionamiento Humano: Un Nuevo Tema De La Agenda Filosófica Human Enhancement: a New Issue in Philosophical Agenda
Since before we can remember, humanity aims to overcome its biological limitations; such a goal has certainly played a key role in the advent of technique. However, despite the benefits that technique may bring, the people who make use of it will inevitably be under risk of harm. Even though human technical wisdom consists in attaining the best result without compromising anybody’s safety, misu...
متن کاملMagmatic interactions as recorded in plagioclase phenocrysts of quaternary volcanics in SE Bam (SE Iran)
In the southeast of bam, there is a collection of volcanic rocks with andesite, basalt and trachy andesite composition. The texture of these rocks are often porphyritic with microlithic, porphyric cavity, and sometimes glomerulophorphuri, sore throat trachytic. Main minerals include Olivine, Clinopyroxene, Plagioclase and secondary minerals including opaque minerals, Iodenzyte, secondary Biotit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Akroterion
سال: 2014
ISSN: 2079-2883
DOI: 10.7445/36-4-915